/***********************************************************************
 *
 * MODULE NAME:    papi_impl.h
 * PROJECT CODE:   host side stack
 * DESCRIPTION:    PAPI eCos specific include
 * MAINTAINER:     John Sheehy
 * CREATION DATE:  1 May 2000
 *
 * SOURCE CONTROL: $Id: papi_impl.h,v 1.1.1.1 2007/12/18 05:32:40 tianwq Exp $
 *
 * LICENSE:
 *     This source code is copyright (c) 2000-2001 RDA Microelectronics Inc.
 *     All rights reserved.
 *
 * REVISION HISTORY:
 *    1.May.2000 - JS - first import
 *
 *
 * ISSUES:
 *       
 ***********************************************************************/
#ifndef PAPI_IMPL_H
#define PAPI_IMPL_H

#include "host_config.h"

#define pNULL NULL

#ifndef __size_t
#define __size_t 1
typedef u_int size_t;
#endif
typedef u_int pSem_t;
typedef u_int t_pEvent;
typedef u_int t_pMutex;
typedef signed char t_pTimer;

#endif /* PAPI_IMPL_H */
